31![100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf 100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf](https://www.pdfsearch.io/img/4863bf1926c668a40c685af4abeec75b.jpg) | Add to Reading ListSource URL: www.math.kth.seLanguage: English - Date: 2006-02-08 12:22:57
|
---|
32![PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO](https://www.pdfsearch.io/img/1b7f92e56b739c9d0153921e0de7821a.jpg) | Add to Reading ListSource URL: www.math.unipa.itLanguage: English - Date: 2009-02-01 11:27:30
|
---|
33![Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics (Draft for a talk at Types’2011, version of July 15, 2011, with minor updates September 28, 2011) Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics (Draft for a talk at Types’2011, version of July 15, 2011, with minor updates September 28, 2011)](https://www.pdfsearch.io/img/6d3e5b8cca1e8b6b41e81693bcd26020.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2011-10-07 04:22:12
|
---|
34![Constructive set theory – an overview Benno van den Berg Utrecht University Constructive set theory – an overview Benno van den Berg Utrecht University](https://www.pdfsearch.io/img/876a1eff2f81e51c5c9b80d1a02018a8.jpg) | Add to Reading ListSource URL: www.illc.uva.nlLanguage: English - Date: 2012-09-10 05:26:08
|
---|
35![Constructive Set Theories and their Category-theoretic Models Alex Simpson∗ Constructive Set Theories and their Category-theoretic Models Alex Simpson∗](https://www.pdfsearch.io/img/5a3d8be5d8c99158ed9ff123c2685525.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-03-03 11:00:11
|
---|
36![](https://www.pdfsearch.io/img/5b77b9c5fd4cbb7fcb8a9697b262b0d2.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2012-10-11 12:56:02
|
---|
37![](https://www.pdfsearch.io/img/4e76c0c7c60067fccfe98b8cf9bfc3a4.jpg) | Add to Reading ListSource URL: www.jaist.ac.jpLanguage: English - Date: 2010-09-15 04:17:35
|
---|